ЛОГІКИ НЕКЛАСИЧНІ

ЛОГІКИ НЕКЛАСИЧНІ - напрям сучасної формальної логіки, що вивчає логічні системи, адекватна семантична інтерпретація яких задовольняє хоча б одну із таких умов: 1) наявність більше двох допустимих значень істинності; 2) наявність таких логічних знаків s, що формула sA не є функцією істинності від А; 3) допустимість пустого універсуму (множина об'єктів інтерпретації); 4) порушення екстенційності принципу (в цьому випадку значення предиката не визначається однозначно його обсягом); 5) порушення принципу підстановки тотожного (можливості підставляти в контекст замість будь-якого імені інше, рівнозначне йому ім'я). Прикладами Л.н. є багатозначні логіки, інтуїціоністська логіка, логіки модальні (висловлювань і предикатів), логіка дій, логіка норм, оцінок.

див. логіки некласичні

ЧИСЛЕННЯ ВИСЛОВЛЮВАНЬ - пропозиційне числення - розділ математичної логіки, який за обсягом збігається з логікою висловлювань і є її формальною побудовою. Існує багато шляхів формальної побудови логіки висловлювань, тобто можливі різні Ч. в. Проте при побудові кожного Ч. в. треба насамперед визначити його мову, тобто вказати вихідні символи (знаки логічних операцій - λ v Z> для заперечення, кон'юнкції, диз'юнкції, імплікації; пропозиційні змінні р, q, г...', дужки) і правила утворення формул із символів. В Ч. в. синтаксично визначаються правильно побудовані формули. Серед них вибираються аксіоми, що розглядаються як тавтології, тобто такі формули, які при всіх наборах значень для змінних, що їх складають, виявляються істинними. З аксіом за допомогою фіксованих правил виводу одержують теореми або доведені формули. Розрізняють класичне Ч. в. (яке містить у собі виключеного третього закон і класичне розуміння заперечення), а також різні некласичні Ч. в. Термін "Ч. в." вживають як синонім терміна "класичне числення висловлювань". Ч. в. становить основу формальної побудови всіх інших логічних теорій (див. числення предикатів), а завжди істинні формули Ч. в. використовуються як правила доведення наукових положень.

ВИМІРЮВАННЯ - спосіб якісно-кількісного аналізу та числового опису світу емпіричних об'єктів, моделювання реальності мовою чисел. В. фізичне (метричне) - процес (процедура) одержання інтерсуб'єктивної та достовірної, репрезентованої числом або системою чисел, інформації щодо фізичних об'єктів, їхніх властивостей та відношень; фундаментальна складова наукового методу. В. передбачає порівняння даної фізичної величини з певною величиною того ж роду, прийнятою за домовленістю за одиницю. Фізична величина розглядається як емпірична (онтологічна) реалізація аксіоматики скалярної невід'ємної величини. В. потребує визначення способу В. (необхідних приладів, інструментів, автоматизованих систем В., відповідних методик та технологій). Процес В. строго нормований системою понять та принципів метрології, яка визначає типологію В., способи реалізації вимог точності, однозначності, достовірності (надійності) результатів В. Вдосконалення процедур В. уможливлює поступ техніки та технології, засобів моніторингу, всієї матеріальної культури сучасної цивілізації. В некласичній фізиці процедура В. перетворилася в елемент теоретичного опису, в предмет теоретичного та філософського дискурсу. В XX ст. потреби математизації та формалізації соціогуманітарних наук (психології, соціології та ін.) зумовили виникнення загальної логіко-математичної аксіоматизованої теорії В. (Кемпбел, Стивенс, Суппес, Адамс, Пфанцагль). Будь-яке В. тлумачать як встановлення відповідності (ізоморфізму чи гомоморфізму) між емпіричною системою реальних об'єктів з визначеними відношеннями між ними та деякою системою чисел. Типологія В. спирається на типологію т. зв. "шкал" (способів співвіднесення чисел та емпіричних об'єктів). Розрізняють шкали: абсолютну, найменувань, порядку, інтервалів, відношень та ін. Останні два типи співпадають із класичним поняттям В., інші стосуються нефізичних (неметричних) В. Епістемологічнафункція В. полягає в можливості одержувати мовою чисел точні та об'єктивні характеристики реальності, здійснюючи програму, започатковану піфагорійцями, Платоном та Галілеєм.